Remove unused function modify_color_property
authorPaolo Borelli <pborelli@gnome.org>
Sun, 5 Dec 2010 20:11:34 +0000 (21:11 +0100)
committerPaolo Borelli <pborelli@gnome.org>
Sun, 5 Dec 2010 21:07:30 +0000 (22:07 +0100)
commit561346bd4060a6ce08b10edd683f2e559d9226a5
tree36534c492c1d4570179de910a836f301c51b67dc
parent4cca7554b8f4f4fb352e2a8815052c03d6ea1ab0
Remove unused function modify_color_property
gtk/gtkwidget.c